Judith Butler’s influential work in feminist theory is significant for its insight that sexist discourse in popular culture affects the agency and consciousness of individuals, but offers an inadequate account of how such discourse might be said to touch, shape, or affect selves. Supplementing Butler’s account of signification with a Deweyan pragmatic account of meaning-making and selective emphasis enables a consistent account of the relationship between discourse and subjectivity with a robust conception of the bodily organism. An analysis of the (...) popular discourse surrounding Hillary Clinton in the 2008 Presidential campaign demonstrates why this hybrid pragmatic/poststructuralist account is necessary. (shrink)

An account of the specific ill of Native American mascots—that is, the particular racism of using Native Americans as mascots, as distinct from other racist portrayals of Native Americans—requires a fuller account of the function of mascots as such than has previously been offered. By analyzing the history of mascots in the United States, this article argues that mascots function as symbols that draw into an artificial unity 1) a variety of teams existing over a period of time and thereby (...) 2) a community of individuals who are thus able to use that team as their own symbolic locus of unification. This unification of teams and their concomitant communities is accomplished by appeal to a symbol that facilitates a particular fantasy of collective identity. The usage of Native American mascots is racist not only because it involves stereotypical portrayals of Native Americans, but because it treats Native persons simply as a means to symbolic unification—and not, importantly, as members of the community they thus serve. In other words, in these cases mascots work as unifying signifiers precisely by being the purely instrumental facilitator of a group's collective fantasy of itself. (shrink)

Some provisions of the UN’s Convention on the Elimination of Discrimination Against Women (CEDAW) are clearly important from the perspective of business ethics, particularly those calling for equal rights for women to employment and financial security. Some other provisions of CEDAW are equally as important for ethical business practices and Corporate Social Responsibility (CSR), but are frequently overlooked because of the presumption that they are not strictly business concerns: the rights of women to participation in public life, marriage, and family (...) rights; the rights of rural women to adequate living conditions; and general rights to equality. This chapter will discuss the conceptual commitments that underlie the assumption of a clear demarcation between work and life concerns, and examine the criticisms of this assumption made by feminism. It will, in particular, be interested in: -/- • The public/private distinction • The meaning of “work” or “labor” • The relationship between CSR and care ethics • Fostering a broader understanding of the family or familial relations • Examining the connection between fair wages and work/life integration -/- These discussions suggest that the ability for businesses worldwide to uphold the tenets of CEDAW is dependent upon a reconsideration of the character of the Ideal Worker and a nuanced understanding of the effects of workplace policies on the wider communities in which businesses operate. In particular, though work/life integration is not strictly speaking a “women’s issue,” the ethical and policy considerations addressed herein currently have disproportionately negative effects for women; thus, addressing them is crucial for achieving the aims of gender equality. (shrink)

In ‘Cognition as a Social Skill’, Sally Haslanger enhances her theory of oppression with new concepts: ‘mindshaping,’ ‘doxa,’ ‘heterodoxy,’ and ‘hidden transcripts.’ This essay examines these new c...

In The I in Team, Erin C. Tarver argues that fandom ‘is a primary means of creating and reinforcing individual and community identities for Americans today’ and submits fandom to a critical eye...

If someone says, “You’ve stereotyped me,” we hear the statement as an accusation. One way to interpret the accusation is as follows: you haven’t seen or treated me as an individual. In this essay, I interpret and evaluate a theory of wrongful stereotyping inspired by this thought, which I call the failure-to-individualize theory of wrongful stereotyping. According to this theory, stereotyping is wrong if and only if it involves failing to treat persons as individuals. I argue that the theory—however one (...) interprets it—is inadequate. Either the theory will not reliably identify all cases of wrongful stereotyping or it will fail to adequately explain why they are wrong. I conclude that it does not follow that we must entirely jettison the objection that stereotyping fails to treat persons as individuals. What follows is only that the objection must play a more circumscribed role in a theory of when and why stereotyping is wrong. (shrink)

If you care about securing knowledge, what is wrong with being biased? Often it is said that we are less accurate and reliable knowers due to implicit biases. Likewise, many people think that biases reflect inaccurate claims about groups, are based on limited experience, and are insensitive to evidence. Chapter 3 investigates objections such as these with the help of two popular metaphors: bias as fog and bias as shortcut. Guiding readers through these metaphors, I argue that they clarify the (...) range of knowledge-related objections to implicit bias. They also suggest that there will be no unifying problem with bias from the perspective of knowledge. That is, they tell us that implicit biases can be wrong in different ways for different reasons. Finally, and perhaps most importantly, the metaphors reveal a deep—though perhaps not intractable—disagreement among theorists about whether implicit biases can be good in some cases when it comes to knowledge. (shrink)

Written by a diverse range of scholars, this accessible introductory volume asks: What is implicit bias? How does implicit bias compromise our knowledge of others and social reality? How does implicit bias affect us, as individuals and participants in larger social and political institutions, and what can we do to combat biases? An interdisciplinary enterprise, the volume brings together the philosophical perspective of the humanities with the perspective of the social sciences to develop rich lines of inquiry. It is written (...) in a non-technical style, using relatable examples that help readers understand what implicit bias is, its significance, and the controversies surrounding it. Each chapter includes discussion questions and additional reading suggestions. A companion webpage contains teaching resources. The volume will be an invaluable resource for students—and researchers—seeking to understand criticisms surrounding implicit bias, as well as how one might answer them by adopting a more nuanced understanding of bias and its role in maintaining social injustice. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Stereotypes are commonly alleged to be false or inaccurate views of groups. For shorthand, I call this the falsity hypothesis. The falsity hypothesis is widespread and is often one of the first reasons people cite when they explain why we shouldn’t use stereotypic views in cognition, reasoning, or speech. In this essay, I argue against the falsity hypothesis on both empirical and ameliorative grounds. In its place, I sketch a more promising view of stereotypes—which avoids the falsity hypothesis—that joins my (...) earlier work on stereotypes in individual psychology with the work of Patricia Hill Collins on cultural stereotypes. According to this two-part hybrid theory, stereotypes are controlling images or ideas that enjoy both a psychological and cultural existence, which serve a regulative social function. (shrink)

The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view captures the phenomena targeted by the (...) “higher‐level content” thesis, is empirically supported, and avoids the negative dialectical consequences of the as such condition. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

There is a New Idea in epistemology. It goes by the name of ‘knowledge first,’ and it is particularly associated with Timothy Williamson’s book Knowledge and Its Limits. In slogan form, to put knowledge first is to treat knowledge as basic or fundamental, and to explain other states—belief, justification, maybe even content itself—in terms of knowledge, instead of vice versa. The idea has proven enormously interesting, and equally controversial. But deep foundational questions about its actual content remain relatively unexplored. We (...) think that a wide variety of views travel under the banner of ‘knowledge first’ (and that the slogan doesn’t help much with differentiating them). Furthermore, we think it is far from straightforward to draw connections between certain of these views; they are more independent than they are often assumed to be. Our project here is exploratory and clarificatory. We mean to tease apart various ‘knowledge first’ claims, and explore what connections they do or do not have with one another. Our taxonomy is offered in §2, and connections are explored in §3. The result, we hope, will be a clearer understanding of just what the knowledge first theses are. We conclude, in §4, with some brief suggestions as to how we think the various theses might be evaluated. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

While environmental claims are increasingly used by companies to appeal consumers, they also attract greater scrutiny from independent parties interested in consumer protection. Consumers are now able to compare corporate environmental claims against external, often disconfirming, information to form their brand attitudes and purchase intentions. What remains unclear is how the level of information specificity of both the environmental claims and external disconfirming information interact to influence consumer reactions. Two experiments address this gap in the CSR communication literature. When specific (...) claims are countered by specific external information, consumers report more negative brand attitudes and lower purchase intentions. The effect is serially mediated by skepticism toward the claims and lack of corporate credibility. We conclude by discussing strategies that firms can utilize to avoid information dilution and ensure that external disconfirming information percolates to consumers as specific. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

Intersectionality has become the primary analytic tool that feminist and anti-racist scholars deploy for theorizing identity and oppression. This paper exposes and critically interrogates the assumptions underpinning intersectionality by focusing on four tensions within intersectionality scholarship: the lack of a defined intersectional methodology; the use of black women as quintessential intersectional subjects; the vague definition of intersectionality; and the empirical validity of intersectionality. Ultimately, my project does not seek to undermine intersectionality; instead, I encourage both feminist and anti-racist scholars to (...) grapple with intersectionality's theoretical, political, and methodological murkiness to construct a more complex way of theorizing identity and oppression. (shrink)

This article discusses the adequacy of Rawls’ theory of justice as a tool for racial justice. It is argued that critics like Charles W Mills fail to appreciate both the insights and limits of the Rawlsian framework. The article has two main parts spread out over several different sections. The first is concerned with whether the Rawlsian framework suffices to prevent racial injustice. It is argued that there are reasons to doubt whether it does. The second part is concerned with (...) whether a Rawlsian framework has the resources to rectify past racial injustice. It is argued that it has more resources to do this than Mills allows. This second part of the article centers on two Rawlsian ideas: ideal theory and the fair equality of opportunity principle. It is argued that ideal theory is essential for the kind of rectificatory work that Mills wants nonideal theory to do, and that where there is a socioeconomic legacy of past injustice, it is hard to see how FEO could be implemented if it did no rectificatory work, a result which means that there is less need to turn to nonideal theory at all. (shrink)

Individuals tend to judge bad side effects as more intentional than good side effects (the Knobe or side- effect effect). Here, we assessed how widespread these findings are by testing eleven adult cohorts of eight highly contrasted cultures on their attributions of intentional action as well as ratings of blame and praise. We found limited generalizability of the original side-effect effect, and even a reversal of the effect in two rural, traditional cultures (Samoa and Vanuatu) where participants were more likely (...) to judge the good side effect as intentional. Three follow-up experiments indicate that this reversal of the side-effect effect is not due to semantics and may be linked to the perception of the status of the protagonist. These results highlight the importance of factoring cultural context in our understanding of moral cognition. (shrink)

The main thrust of this study is to examine the impact of social cost on the corporate performance of petroleum marketing firms in Nigeria. Ex post facto research design was adopted, secondary sources of data were collected for analysis of results and interpretation of data. The results indicated that social cost positively influences the corporate performance of petroleum marketing firms in Nigeria. Hence, it was recommended that the federal government should mandate all petroleum marketing companies to capture and disclose all (...) quantitative data relating to corporate social responsibility which would serve as a boost to the company performances vis-a-vis increased employee productivity. (shrink)

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

Die Welt ist voller Leid. Gott ist entweder unfähig, es zu verhindern – dann ist Er nicht allmächtig –, oder Er will es nicht verhindern – dann ist Er nicht vollkommen gut. Seit Generationen wird dies als das schlagendste Argument gegen den Glauben angesehen, daß ein allmächtiges und allgütiges Wesen existiert. Natürlich haben Theisten sich die größte Mühe gegeben, eine angemessene Erwiderung vorzubringen. ... Selbst wenn nur ein einziges Individuum unnötigerweise für einen kurzen Moment eine leichte Unannehmlichkeit zu ertragen hätte, (...) wäre das Problem logisch ebenso real – obwohl es nicht so schmerzhaft wäre oder möglicherweise sogar unbemerkt bliebe. (shrink)

The two purposes of this essay. The general philosophical problem with most versions of social libertarianism and how this essay will proceed. The specific problem with liberty explained by a thought-experiment. The positive and abstract theory of interpersonal liberty-in-itself as ‘the absence of interpersonal initiated constraints on want-satisfaction’, for short ‘no initiated impositions’. The individualistic liberty-maximisation theory solves the problems of clashes, defences, and rectifications without entailing interpersonal utility comparisons or libertarian consequentialism. The practical implications of instantiating liberty: three rules (...) of liberty-in-practice, 1) initial ultimate control of one’s body, 2) initial ultimate control of one’s used resources, 3) consensual interpersonal interactions and resource transfers. These rules are economically efficient and maximise general want-satisfaction. Private property and legal remedies are additional practical institutional aspects, but to which ‘initiated impositions’ then apply prima facie. Libertarian law is often mistaken for complete libertarianism. Moral explanations are a separate issue. The three main moral theories imply libertarianism, but it can be morally posited independently of them. Critical rationalism and its application. No empirical or argumentative support for theories. An important ambiguity with ‘justification’. How the epistemology applies to the theory of liberty and its application but remains separable in principle. Conclusion: there are further published explanations but this should be enough to generate useful criticism. Appendix replying to some typical comments. (shrink)

The intersection of development and evolution has always harbored conceptual issues, but many of these are on display in contemporary evolutionary developmental biology (evo-devo). These issues include: (1) the precise constitution of evo-devo, with its focus on both the evolution of development and the developmental basis of evolution, and how it fits within evolutionary theory; (2) the nature of evo-devo model systems that comprise the material of comparative and experimental research; (3) the puzzle of how to understand the widely used (...) notion of 'conserved mechanisms'; (4) the definition of evolutionary novelties and expectations for how to explain them; and (5) the demand of interdisciplinary collaboration that derives from investigating complex phenomena at key moments in the history of life, such as the fin-limb transition. This Element treats these conceptual issues with close attention to both empirical detail and scientific practice to offer new perspectives on evolution and development. This title is also available as Open Access on Cambridge Core. (shrink)

We should not be creating conscious, humanoid agents but an entirely new sort of entity, rather like oracles, with no conscience, no fear of death, no distracting loves and hates.

Healthcare systems across the globe are struggling with increasing costs and worsening outcomes. This presents those responsible for overseeing healthcare with a challenge. Increasingly, policymakers, politicians, clinical entrepreneurs and computer and data scientists argue that a key part of the solution will be ‘Artificial Intelligence’ (AI) – particularly Machine Learning (ML). This argument stems not from the belief that all healthcare needs will soon be taken care of by “robot doctors.” Instead, it is an argument that rests on the classic (...) counterfactual definition of AI as an umbrella term for a range of techniques that can be used to make machines complete tasks in a way that would be considered intelligent were they to be completed by a human. Automation of this nature could offer great opportunities for the improvement of healthcare services and ultimately patients’ health by significantly improving human clinical capabilities in diagnosis, drug discovery, epidemiology, personalised medicine, and operational efficiency. However, if these AI solutions are to be embedded in clinical practice, then at least three issues need to be considered: the technical possibilities and limitations; the ethical, regulatory and legal framework; and the governance framework. In this article, we report on the results of a systematic analysis designed to provide a clear overview of the second of these elements: the ethical, regulatory and legal framework. We find that ethical issues arise at six levels of abstraction (individual, interpersonal, group, institutional, sectoral, and societal) and can be categorised as epistemic, normative, or overarching. We conclude by stressing how important it is that the ethical challenges raised by implementing AI in healthcare settings are tackled proactively rather than reactively and map the key considerations for policymakers to each of the ethical concerns highlighted. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have infinite value, (...) then decision theory prescribes indifference. Second, there is a problem of swamping probabilities: an act with a small but positive probability of saving an endangered species appears to be on par with an act that has a high probability of achieving this outcome, since both have infinite expected value. Our paper shows that a relative concept of infinite value can be meaningfully defined, and provides a good model for securing the priority of the natural environment while avoiding the failures noted by sceptics about infinite value. Our claim is not that the relative infinity utility model gets every detail correct, but rather that it provides a rigorous philosophical framework for thinking about decisions affecting the environment. (shrink)

In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.

Despite their popularity, relatively scant attention has been paid to the upshot of Bayesian and predictive processing models of cognition for views of overall cognitive architecture. Many of these models are hierarchical ; they posit generative models at multiple distinct "levels," whose job is to predict the consequences of sensory input at lower levels. I articulate one possible position that could be implied by these models, namely, that there is a continuous hierarchy of perception, cognition, and action control comprising levels (...) of generative models. I argue that this view is not entailed by a general Bayesian/predictive processing outlook. Bayesian approaches are compatible with distinct formats of mental representation. Focusing on Bayesian approaches to motor control, I argue that the junctures between different types of mental representation are places where the transitivity of hierarchical prediction may be broken, and I consider the upshot of this conclusion for broader discussions of cognitive architecture. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

In 2016, a multidisciplinary body of scholars within the International Commission on Stratigraphy—the Anthropocene Working Group—recommended that the world officially recognize the Anthropocene as a new geological epoch. The most contested claim about the Anthropocene, that humans are a major geological and environmental force on par with natural forces, has proven to be a hotbed for discussion well beyond the science of geology. One reason for this is that it compels many natural and social scientists to confront problems and systems (...) that transgress traditional disciplinary boundaries, and as a result, calls for interdisciplinary research are now gaining traction. Proponents of such transgressions have dubbed the new scientific order that will result “Anthropocene Science”, and rhetoric notwithstanding, such discussions exemplify how recent changes within science justify rethinking a prevailing image of how science is done, and with it, the working relationship between scholars in the humanities, natural scientists, and social scientists. (shrink)

The notion of representation in neuroscience has largely been predicated on localizing the components of computational processes that explain cognitive function. On this view, which I call “algorithmic homuncularism,” individual, spatially and temporally distinct parts of the brain serve as vehicles for distinct contents, and the causal relationships between them implement the transformations specified by an algorithm. This view has a widespread influence in philosophy and cognitive neuroscience, and has recently been ably articulated and defended by Shea. Still, I am (...) skeptical about algorithmic homuncularism, and I argue against it by focusing on recent methods for complex data analysis in systems neuroscience. I claim that analyses such as principle components analysis and linear discriminant analysis prevent individuating vehicles as algorithmic homuncularism recommends. Rather, each individual part contributes to a global state space, trajectories of which vary with important task parameters. I argue that, while homuncularism is false, this view still supports a kind of “vehicle realism,” and I apply this view to debates about the explanatory role of representation. (shrink)

How do individuals and communities respond to negative aesthetic experience? Historically, philosophical aesthetics has devoted much thought to positive aesthetic experience, including the beautiful, agreeable, charming, and tasteful. But this is only a partial picture. Some aesthetic experience displeases: the ugly, disgusting, and horrific are but a few examples with which aestheticians have grappled in recent decades. The aversive and visceral nature of disgust has generated particular interest. But as Carolyn Korsmeyer points out in _Savoring Disgust: The Foul & the (...) Fair in Aesthetics_, there is also a paradoxical attraction to that which arouses disgust. Following Kant and Korsmeyer from the Western philosophical tradition, I claim that the aversive-attractive response is integral to disgust’s power to motivate aesthetic engagement. On the one hand, people might feel its force and refuse to engage with that which disgusts. On the other hand, unshakeable interest may spur active responses including the exchange of judgments of taste; protests of a given artist, work, or exhibition; or even violent actions intended to damage or destroy a particular work. While the negative dimension of disgust response is often regarded as a liability from an aesthetic standpoint, disgust also has a corresponding productive dimension that has important implications for communities. In this chapter, I coin the term “generative disgust” in order to explain the productive capacity of disgust to inspire communal, often subcultural, activity. On my view, generative disgust has two orientations – destructive and constructive. Both forms activate the community in question based upon the valence of the group’s comportment towards a particular work of art. As such, destructive generative disgust galvanizes the community and spurs increased activity based upon negative response to art, whereas constructive generative disgust galvanizes the community and spurs increased activity based upon positive response to art. I explore two examples that reveal the dual character of generative disgust in communities: Andres Serrano’s _Immersion (Piss Christ)_ (destructive deployment) and Bryan Fuller’s _Hannibal_ (constructive deployment). In the case of _Piss Christ_, the intensity of generative disgust spurred some Christians to police moral-religious boundaries and restrict aesthetic expression in order to protect a community. Their activity culminated in vandalism and destruction of Serrano’s photograph. In the case of Hannibal, the intensity of generative disgust, combined with hedonic ambivalence inspired the “Fannibals” (the Hannibal fandom) to forge community, make art, and to try to find the show a new home when it was not renewed by NBC. Both instances manifest how generative disgust can incite aesthetic engagement and increase organized activity on the part of subcultural groups. (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

I explore the question of whether Kant's theory in the _Critique of Judgment_ can account for judgments of taste regarding the ugly. While there has been much debate regarding this issue in recent decades, many scholars consider the harmonious free play of the faculties to be central to this question. Harmony between the imagination and understanding is stressed in a series of articles regarding pure judgments of taste of the ugly beginning in the mid-1990s and extending into the 2000s. I (...) investigate the status of harmony in relation to judgments of taste and assess whether harmony among these faculties is necessary to free play. In order to do so, I compare three cases and consider how they relate to cognitive activity: judgments of taste of the beautiful, sublime experience, and judgments of taste regarding works of genius. I argue that pure judgements of taste of the ugly are indeed possible by analyzing the cognitive activity produced in the aforementioned cases. These instances show that in Kant's system, cognitive harmony may not be necessary to free play. Rather, disharmony can also be produced by our aesthetic experience with the sublime, works of genius, and the ugly. I argue that in spite of the contrapurposiveness and disharmony that experience with the ugly spurs, it nonetheless can serve to further cognitive activity and quicken the mind, cultivate taste, and develop community, thus revealing a higher, and perhaps unexpected, purposiveness. (shrink)

Classical Sparta is an enigma in many ways, but for ancient and contemporary political theorists it is especially intriguing insofar as its politeia (or its educational/political/social system or “constitution”) produced a city-state that was both the hegemon of all other Greek city-states, for instance during the 5th century Persians wars, but was also ignobly defeated by Thebes at the battle of Leuctra in 371, slightly more than a century later, after which its hegemony collapsed and its subject population of helots (...) won a war of emancipation. How did Sparta field citizen-soldiers in the 5th century who were without parallel in their bravery and military prowess? And why did Sparta, perhaps under the same politeia, collapse just over a century later? Xenophon, Plato, Aristotle, and Plutarch searched for answers to such questions in the Spartan public educational program, its mixed constitutions, and its apparently militaristic goal and orientation. Such 4th century intellectuals (and Plutarch, writing in the 1st century CE) debated whether Sparta’s collapse was the result of deep-rooted problems within its Lycurgan constitution or in Sparta’s subsequent departure from that constitution; there also is significant debate concerning the education and roles of women within Spartan society. (shrink)

Evidence that humans play a dominant role in most ecosystems forces scientists to confront systems that contain factors transgressing traditional disciplinary boundaries. However, it is an open question whether this state of affairs should encourage interdisciplinary exchange or integration. With two case studies, we show that exchange between ecologists and economists is preferable, for epistemological and policy-oriented reasons, to their acting independently. We call this “exchange gain.” Our case studies show that theoretical exchanges can be less disruptive to current theory (...) than commonly thought. Valuable interdisciplinary exchange does not necessarily require disciplinary breakdown. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)